Zilverling

dr. M. Walter (Matthias)

Universitair docent
EEMCS-AM-MOR
Zilverling 4005
m.walter@utwente.nl
+31534898744
Visitekaartje

Ik promoveerde aan de Otto-von-Guericke Universiteit van Maagdenburg. Ik werk aan oplossende technieken voor mixed-integer programma's (MIP's) aan de praktische kant (vertakkingen en sneden, vertakkingen en prijzen) en polyhedral combinatorics aan de theoretische kant.

Expertises

  • Computer Science

    • Algorithms
    • System Analysis
    • Integer Programming
    • Linear Programming
    • Classes
    • Complexity

  • Mathematics

    • Polytope
    • Integer

Organisaties

Publicaties

2025

Improved linear programming relaxations for flow shop problems with makespan minimization (2025)Computers & operations research, 177. Article 106970. Wallrath, R., Franke, M. & Walter, M.https://doi.org/10.1016/j.cor.2024.106970scipopt/papilo: v2.4.2 (2025)[Dataset Types › Dataset]. Zenodo. Hoen, A., Gottwald, L., Schlösser, F., Vigerske, S., Manns, J., Palacios, G. K., Walter, M., Gleixner, A., Besançon, M., James, J., Jabs, C., Mexi, G., Prouvost, A., Ghannam, M. & Bolusani, S.https://doi.org/10.5281/zenodo.6414881scipopt/soplex: v7.1.4 (2025)[Dataset Types › Dataset]. Zenodo. Miltenberger, M., Gleixner, A., Eifler, L., Koch, T., Hoen, A., Vigerske, S., Schlösser, F., Nicolas-Thouvenin, J., Rehfeldt, D., Hendel, G., Besançon, M., Manns, J., Steffy, D., Mexi, G., Pfetsch, M., James, J., Gottwald, L., Walter, M. & Ebrahim, A.https://doi.org/10.5281/zenodo.6414885State-of-the-art Methods for Pseudo-Boolean Solving with SCIP (2025)[Working paper › Preprint]. ArXiv.org. Mexi, G., Kamp, D., Shinano, Y., Pu, S., Hoen, A., Bestuzheva, K., Hojny, C., Walter, M., Pfetsch, M. E., Pokutta, S. & Koch, T.https://doi.org/10.48550/arXiv.2501.03390

2024

Algorithmic solutions for maximizing shareable costs (2024)Networks, 84(4), 385-397. Zou, R., Lin, B., Uetz, M. & Walter, M.https://doi.org/10.1002/net.22240Short paper - The Binary Linearization Complexity of Pseudo-Boolean Functions (2024)Open Journal of Mathematical Optimization, 5. Article 6. Walter, M.https://doi.org/10.5802/ojmo.34A Row-wise Algorithm for Graph Realization (2024)[Working paper › Preprint]. ArXiv.org. van der Hulst, R. & Walter, M.https://doi.org/10.48550/arXiv.2408.12869Optimal subgraphs in geometric scale-free random graphs (2024)[Working paper › Preprint]. ArXiv.org. Michielan, R., Stegehuis, C. & Walter, M.https://doi.org/10.48550/arXiv.2404.14972Combinatorial Matrix Recognition Library (2024)[Non-textual form › Software]. Walter, M., Truemper, K., van der Hulst, R. & Kraaij, H.https://discopt.github.io/cmr/Relaxation Strength for Multilinear Optimization: McCormick Strikes Back (2024)In Integer Programming and Combinatorial Optimization. Proceedings of 25th IPCO (pp. 393-404). Schutte, E. & Walter, M.https://doi.org/10.1007/978-3-031-59835-7_29

Onderzoeksprofielen

Verbonden aan opleidingen

Vakken collegejaar 2025/2026

Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.

Vakken collegejaar 2024/2025

Vakken collegejaar 2023/2024

Lopende projecten

Combinatorial Matrix Recognition

Software Library

A set of tools for recognizing certain combinatorial matrices, such as totally unimodular, balanced, network or series-parallel matrices.

Investigating Polyhedra by Oracles

Software Library

Investigating Polyhedra by Oracles (IPO) is a C++ library that enables the analysis of polyhedra that are given implicitly by means of an optimization oracle. The main application is the search for inequalities that are facet-defining for the mixed-integer hull of some mixed-integer optimization problem.

Slimmere en snellere mixed-integer optimalisatie via netwerkmatrices

Mixed-integer optimalisatie is een techniek om ingewikkelde optimalisatieproblemen op te lossen die zich voordoen bij productieplanning, logistiek of routeplanning. Dit onderzoek zal de solver- software verbeteren om de software sneller te maken. Om dit te bereiken, zullen algoritmes om bekende patronen in een gegeven formulering te vinden worden ontwikkend en getest.

Adres

Universiteit Twente

Zilverling (gebouwnr. 11), kamer 4005
Hallenweg 19
7522 NH Enschede

Navigeer naar locatie

Organisaties

Scan de QR-code of
Download vCard